ATF_IMAGE = "arm-trusted-firmware"
ATF_IMAGE_FILE = "atf.s32"
UBOOT_NAME_SDCARD = "${ATF_IMAGE_FILE}"
